The Dark Side of Timed Opacity
نویسنده
چکیده
In this paper we extend the notion of opacity, defined for discrete-event systems, to dense-time systems. We define the timed opacity problem for timed automata and study its algorithmic status. We show that for the very restrictive class of Event Recording Timed Automata, the opacity problem is already undecidable leaving no hope for an algorithmic solution to the opacity problem in dense-time.
منابع مشابه
Security in a Model for Long-running Transactions
Communicating Hierarchical Transaction-based Timed Automata have been introduced to model systems performing long–running transactions. Here, for these automata a security concept is introduced, which is based on a notion of opacity and on the assumption that an attacker can not only observe public system activities, but also cause abortion of some of them. Different intruder capabilities as we...
متن کاملOpacity Testing
Opacity testing is formalized and studied. We specify opacity testers as well as tested systems by (timed) process algebras. We model various testers according to how sophisticated observations of tested system they can make and which kind of conclusions they can obtain. We use this technique to define several realistic security properties. The properties are studied and compared with other sec...
متن کاملO Brave New World: The Dark Side of Cyberspace
This article focuses on some of the negative aspects of cyberspace andcyberculture. First, it offers an examination of the impact of our use ofsocial media, and Facebook in particular, on our psyches, pointing out thatusers of social media can be thought of as audiences. These audiencesand information about them can be sold to marketers and advertisers.Next, it offers a case study of a widespre...
متن کاملComparison of Effects of Bilateral Versus Unilateral Quadriceps Training on Balance, Functional Mobility and Functional Gait in Patients With Stroke
Objectives: Motor weakness is a notable symptom after stroke. Hence, the aim of this study was to find out the effect of bilateral quadriceps training compared to that of unilateral quadriceps training on balance, functional mobility and functional gait in patients with stroke. Subjects: Male and female hemiparetic patients between 40-60 years of age with post-stroke of 1-6 months were included...
متن کاملImpressive Reduction of Dark Current in InSb Infrared Photodetector to achieve High Temperature Performance
Infrared photo detectors have vast and promising applications in military,industrial and other fields. In this paper, we present a method for improving theperformance of an infrared photodetector based on an InSb substance. To achieve goodperformance at high temperatures, thermal noise and intrusive currents should bereduced. For this purpose, a five-layer hetero structu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009